axiom of accessibility

可达性公理